Planning and Leveraging Event Portfolios: Towards a Holistic Theory

Towards a theory of holistic clustering

In this note, cluster theory is presented from a rather abstract point of view, basic known results are reviewed from this view point, and some new results which motivated the proposed approach, as well as some new problems which naturally arise in this context, are presented. Towards a Theory of Holistic Clustering A.W.M. Dress Bielefeld, Germany Abstract: In this note, cluster theory is prese...

Towards holistic knowledge creation and interchange: Examples, theory and strategy

Meta-information development, and more generally the creation and organization of knowledge and insights within and across communities and disciplines, will not be the result of simple automation of current practices, but of systematic re-design involving technology, theory and practice. WiKeyPoDia.org here serves both as prototype example and as symbol of this approach, showing how familiar We...

Towards Refinement Strategy Planning for Event-B

Event-B is a formal approach oriented to system modeling and analysis. It supports refinement mechanism that enables stepwise modeling and verification of a system. By using refinement, the complexity of verification can be spread and mitigated. In common development using Event-B, a specification written in a natural language is examined before modeling in order to plan the modeling and refine...

Towards a Theory of Embedded Planning

A Theory of Bond Portfolios

We introduce a bond portfolio management theory based on foundations similar to that of stock portfolio management. A general continuous time zero coupon market is considered. The problem of optimal portfolios of zero coupon bonds is solved for general utility functions, under a condition of no-arbitrage in the zero coupon market. A mutual fund theorem is proved, in the case of deterministic vo...